Machine Learning That Helps Technical Support Speed Up Log Analysis